Supporting UML-based development of embedded systems by formal techniques
نویسندگان
چکیده
منابع مشابه
Towards Formal Support for UML-based Development of Embedded Systems
We describe ongoing work on the definition of a UML-based development methodology for the software of embedded systems. The aim is to improve current tools and methods by incorporating formal techniques. As a starting point, we define a formal semantics for a selected subset of UML. Next this language is extended to increase expressibility, especially concerning timing. Keywords— UML, embedded ...
متن کاملImplementation Techniques for Supporting Component Based Embedded Systems
The use of a careful domain engineering is essential to achieve the level of portability and efficiency demanded by embedded systems. The Application Driven Embedded System Design (ADESD) methodology guides the development of application-oriented embedded systems from domain analysis to implementation, and uses several software engineering and implementation techniques to achieve this goal. Thi...
متن کامل"UML-ising' Formal Techniques
This invited paper presents a number of correlated specifications of example railway system problems. They use a variety of partially or fully integrated formal specification. The paper thus represents a mere repository of what we consider interesting case studies. The existence of the Unified Modeling Language [10, 67, 36, 20] has caused, for one reason or another, the research community to tr...
متن کاملUml Based Design of Embedded Systems
This paper presents how the platform-specific development environment of time-triggered (TT) systems can be integrated with a visual design toolkit based on UML. The modeling extensions introduced by us enable the unification of the advantages provided by both the embedded development environment and the UML CASE tools. UML offers visual design, automatic code and documentation generation, whil...
متن کاملthe role of task-based techniques on the acquisition of english language structures by the intermediate efl students
this study examines the effetivenss of task-based activities in helping students learn english language structures for a better communication. initially, a michigan test was administered to the two groups of 52 students majoring in english at the allameh ghotb -e- ravandi university to ensure their homogeneity. the students scores on the grammar part of this test were also regarded as their pre...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2007
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-006-0043-7